机译:时钟约束规范语言:使用UML / MARTE指定时钟约束
机译:时钟约束规范语言:使用UML / MARTE指定时钟约束
机译:UML / MARTE行为模型的时间一致性检查
机译:UML MARTE中时间约束的多时性分析
机译:用于并发故障检测的UML / MARTE模型分析方法
机译:定价限制与股市IPO时序的复杂性:动态游戏分析
机译:UML MARTE中时间约束的多时性分析
机译:La mision a marte del 2013 -atmosfera de marte y Evolucion Volatil(maVEN por sus siglas en ingles)。